tools-xentrace-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:14 +0000 (11:47 +0200)
committerIan Jackson <ian.jackson@citrix.com>
Fri, 11 Nov 2016 15:21:05 +0000 (15:21 +0000)
commit32769fcb177ced67221c6fecd9af6511b335e2bc
tree082cf494d4802647f487794c469c57360a4a50a3
parent7de369b1d5f8e714951d9e55235cf5d02d1ade26
tools-xentrace-prefix.diff

Patch-Name: tools-xentrace-prefix.diff

Gbp-Pq: Name tools-xentrace-prefix.diff
tools/xentrace/Makefile